A collection of nonempty disjoint subsets of S whose union is S

A collection of nonempty disjoint subsets of S whose union is S.